منابع مشابه
Operational Semantics of the Seal Calculus
As a distributed process calculus with localities and mobility of computational entities, Seal calculus is playing an important role in expressing key features such as security and mobility of Internet programming directly. However, little implementation technique proposed for the calculus, partly due to the complication of mobile computation, which fusions three important techniques: concurren...
متن کاملAn operational calculus for the Mould operad
The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads. In particular, we prove a conjecture of the first author about the inverse image of non-crossing trees in the dendriform operad. Finally, we explain a connection with the formalism of noncommutat...
متن کاملThe Lambda Calculus and Operational Semantics
Content Plotkin explains what it means for a calculus to be the calculus of a language (via a Church-Rosser and a Curry-Feys Standardization theorems) and illustrates this point with the by-value and by-name versions of ISWIM and with by-value and by-name versions of the lambda calculus. This part alone lays the foundation for “reduction semantics.” In the second half of the paper, Plotkin pres...
متن کاملProbabilistic operational semantics for the lambda calculus
Probabilistic operational semantics for a nondeterministic extension of pure λ-calculus is studied. In this semantics, a term evaluates to a (finite or infinite) distribution of values. Small-step and big-step semantics, inductively and coinductively defined, are given. Moreover, small-step and big-step semantics are shown to produce identical outcomes, both in call-by-value and in call-by-name...
متن کاملOperational calculus on programming spaces and generalized tensor networks
In this paper, we develop the theory of analytic virtual machines, that implement analytic programming spaces and operators acting upon them. A programming space is a subspace of the function space of maps on the virtual memory. We can construct a differential operator on programming spaces as we extend the virtual memory to a tensor product of a virtual space with tensor algebra of its dual. E...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Časopis pro pěstování matematiky a fysiky
سال: 1949
ISSN: 1802-114X
DOI: 10.21136/cpmf.1949.123052